Test-Driven Development of Model Transformations

نویسندگان

  • Pau Giner
  • Vicente Pelechano
چکیده

Key concepts [1] Short development iterations (often only a few minutes) Pre-written test cases Each iteration produces code necessary to pass the test cases TDD requires little overhead for the specification of test data, implementing test stubs, test initiation, executing test cases, the interpretation of test results, etc. Well-established development technique in code-centric development Became popular with agile process models such as extreme programming [2] Typical subjects to unit testing are modules or classes Their behavior is tested by calling the declared functions or methods Test cases are typically target/actual-comparisons Functions or methods most often can be tested almost independently from each other with little effort ⇒ Feasibility of short iteration cycles and incremental development ⇒ TDD works! A model transformation takes input models conforming to the source meta model(s), produces output models conforming to the target meta model(s), is specified through a set of different transformation rules [3].

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Method for Testing Model to Text Transformations

Model Transformations are the core of Model Driven Development; hence for generating high quality artifacts we need methods able to assure the quality of model transformations. In this work, we focus on Model to Text Transformations and propose a method, composed by a set of integrated approaches and a series of guidelines, for testing model transformations. We classify the test approaches comp...

متن کامل

Applying Black-Box Testing to Model Transformations in the Model Driven Architecture Context

Testing model transformations has played a leading role with the dissemination of MDA in software development processes. Software testing based on black-box testing, together with the “category partitioning” method, can be efficiently used in order to conduct the verification of model transformations. This study employs software testing techniques to an ATL model transformation in the MDA conte...

متن کامل

Towards automated model driven development with model transformation and domain specific languages

Modeling plays a very important role in dealing with the complexity of software systems during their development and maintenance processes. As more complex models need to be developed, the importance of transformations between models grows. Model transformations allow the definition and implementation of operations on models, also provide a chain that can enable the automated development of a s...

متن کامل

Testing Model Transformations: A case for Test Generation from Input Domain Models

Model transformations can automate critical tasks in model-driven development. Thorough validation techniques are required to ensure their correctness. In this lecture we focus on testing model transformations. In particular, we present an approach for systematic selection of input test data. This approach is based on a key characteristic of model transformations: their input domain is formally...

متن کامل

Verification of Model Transformations

Model transformations are a central element of model-driven development (MDD) approaches such as the model-driven architecture (MDA). The correctness of model transformations is critical to their effective use in practical software development, since users must be able to rely upon the transformations correctly preserving the semantics of models. In this paper we define a formal semantics for m...

متن کامل

Testing M2T Transformations - A Systematic Literature Review

Context: Model-Driven Development (MDD) is about to become a reality in the development of enterprise information systems due to its benefits, such as reduction of development and maintenance costs, and support for controlled evolution. Consequently, testing model transformations, considering their high complexity particularly regarding Model-to-Text (M2T) transformations, plays a key role to i...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009